In object oriented multidatabase systems, a framework for classifying schema semantic conflicts, namely object identification conflicts, schema conflicts, semantic conflicts, and data conflicts, is presented. The corresponding resolution to these conflicts are also suggested. 文中针对面向对象的多数据库系统提出了一个模式语义冲突分类框架,这些语义冲突是对象标识冲突、模式冲突、语义冲突和数据冲突.并提出了相应的解决策略。
Lock-Semantic Resolution Using Reduction 使用约化的锁语义归结原理
Generalized fuzzy logic and lock semantic resolution principle 广义模糊逻辑和锁语义归结原理
This paper proves that lock semantic resolution principle are complete in special fuzzy logic. 在狭义模糊逻辑中的锁语义归结原理可以有比在广义模糊逻辑中更强的限制。本文讨论了这种更强限制下的锁语义归结原理,证明了它在狭义模糊逻辑中是完备的。
It is proved in this paper that in two kinds of interpretation the semantic resolution for Horn sets [ 2] carries over to paramodulation for equality. 本文在两种类型的解释上讨论了R-不可满足Horn子句集合上的语义归结和调换。
The article brings forward a kind of distributed and generalized spatial data engine ( SDE) expressed by semantic object models, based on the resolution of GML criterion and the frontier research of spatial data engine. 在解析GML规范与空间数据引擎前沿研究成果的基础上,提出了一种语义对象模式表达的分布式广义空间数据引擎(SDE)模型。
In this paper a new semantic resolution method& colored resolution method is presented, and Pi-colored clash which has no relation to the order of electrons is defined. 本文给出一种新的语义归结方法,称为着色归结方法,定义的PI着色碰撞与电子排列次序无关。
SUB-SEMANTIC RESOLUTION Analytical matrix of semantic field 语义场分析矩阵
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle. 语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
In this paper we obtain the following results: semantic resolution and lock resolution are compatible under certain condition; 本文给出如下结果:语义归结和锁归结在某种条件下是相容的;
Based on the illustration of the principle of knowledge organization at semantic Web portals, this paper puts forward the strategies of the knowledge organization starting with the resolution of the key problems existing in the knowledge organization at semantic Web portals. 在阐述语义Web门户知识组织原理的基础上,从解决语义Web门户知识组织所面临的关键问题出发,提出语义Web门户的知识组织策略;
An Approach to Semantic Incompatibilities and Attribute Value Conflict Resolution in Database Integration 数据库集成系统中数据语义和属性不一致问题的解决方法
Thereout, this dissertation studies the problem of semantic paradox resolution in "transcending contradictory world" which is a space-time unitive and four-dimensional logical system, namely, holding the semantic paradox by the dialectical unity of opposites thinking. 由此,本文在超越对立面的世界这一时空统一的四维的逻辑系统中对语义悖论的消解问题进行研究,也就是以一种对立统一的辩证思维来把握语义悖论。
The semantic constitution of syntactic type is the reflection of human cognition on reality. Construction Grammar, springing up in recent years, focuses on the resolution of the core issue in grammatical research& consistency between syntactic type and semantic meaning. 句式的语义构成是人类认知对现实的反映,近年兴起的构块语法要解决的正是语法研究的核心内容&句法和语义的一致关系。
In symbolic logic and mechanical theorem proving, semantic resolution PI-clash is related to the order of electrons. 符号逻辑与定理机器证明的研究中,语义归结PI碰撞与电子排列次序有关。
Lock semantic resolution priciple in special fuzzy logic 狭义模糊逻辑中的锁语义归结原理
We provide our definition of semantic ellipsis based on previous studies and point out that the production and resolution of semantic ellipsis cannot be achieved without the presence of mutual knowledge shared by all participants. 我们首先根据前人的研究在文中规定了语义省略的定义,同时指出语义省略的生成和解读都离不开共享知识,证是共享知识的存在才能实现语义的省略。
In addition, the research mainly discusses the design principals and methods of the security module and semantic conflict resolution module of data integration system. 另外,本文还重点讨论了数据集成系统的安全模型和语义冲突消解模块的设计原理和设计方法。
As the important model in the research of semantic paradoxes in recent years of the West, the situation semantics solution to paradoxes develops a school of its own among many programs for semantic paradoxes resolution. 情境语义学解悖方案是近年西方语义悖论研究的重要典范,在诸多语义悖论解决方案中独树一帜。